例文Local consistency proves satisfiability in some restricted cases ( see Complexity of constraint satisfaction # Restrictions ).This is considered by some authors the most important open question about the complexity of constraint satisfaction.